and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
161	Automatic Construction of Active Appearance Models as an Image Coding Problem Simon Baker, Iain Matthews, and Jeff Schneider The Robotics Institute Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-01-21 16:50:29 Computer vision Singular value decomposition Multivariate statistics Active appearance model Data analysis Mathematical optimization Principal component analysis Eigenvalues and eigenvectors Linear programming Algebra Mathematics Statistics
162	Mixed-Integer Nonlinear Programming Models for Optimal Design of Multi-product Batch Plant Fengqi You* and Ignacio E. Grossmann*, Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA 15213 e-m Add to Reading List Source URL: www.minlp.org Language: English - Date: 2009-08-18 23:00:05 Nonlinear programming Mathematics Applied mathematics Theoretical computer science Operations research Convex optimization Linear programming
163	Convex Relaxation Methods for Graphical Models: Lagrangian and Maximum Entropy Approaches by Jason K. Johnson Submitted to the Department of Electrical Engineering and Computer Science in Add to Reading List Source URL: ssg.mit.edu Language: English - Date: 2012-02-01 13:34:55 Mathematical analysis Operations research Linear programming Graphical models Duality Belief propagation Relaxation Lagrangian relaxation Estimation theory Mathematical optimization Convex optimization Mathematics
164	Convex Optimization In Identification Of Stable Non-Linear State Space Models Mark M. Tobenkin1 Ian R. Manchester1 Jennifer Wang2 Alexandre Megretski3 Russ Tedrake1 1: Computer Science and Artificial Intelligence Laborat Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2010-10-07 00:19:39 Operations research Mathematical analysis Mathematical optimization State space Convex optimization Differential equation Linear programming State observer Heat equation Control theory Mathematics Systems theory
165	CarpeDiem: an Algorithm for the Fast Evaluation of SSL Classifiers Roberto Esposito [removed] Daniele P. Radicioni [removed] Add to Reading List Source URL: www.machinelearning.org Language: English - Date: 2008-12-01 11:25:25 Graph theory Theoretical computer science Neural networks Game artificial intelligence Dynamic programming Viterbi algorithm Chord Perceptron Pathfinding Error detection and correction Markov models Mathematics
166	MS-PS1 Matter and Its Interactions MS-PS1 Matter and Its Interactions Students who demonstrate understanding can: MS-PS1-1. Develop models to describe the atomic composition of simple molecules and extended structures. Add to Reading List Source URL: www.nextgenscience.org Language: English - Date: 2013-05-24 16:57:02 Chemistry Windows PowerShell Grand Theft Auto Energy Matter Computing Software engineering Computer programming
167	Denotational Semantics of XML-Lambda Pavel Loupal1 and Karel Richta2 1 Department of Software Engineering, Czech Technical University, Faculty of Information Technology Prague, Czech Republic Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2010-07-05 10:29:45 Models of computation Lambda calculus Formal languages Model theory Programming language semantics Denotational semantics Structure String Symbol Theoretical computer science Mathematics Mathematical logic
168	Formal Models of Object-Oriented Databases David Toth1 and Karel Richta1,2 1 Dept. of Computer Science and Engineering, Faculty of Electrical Engineering, Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2008-10-31 06:44:01 Data Object-oriented programming Computer languages Database models Object database Query language Object-relational database Relational model Database Data management Database management systems Computing
169	Parameterized Core Functional Dataflow Modeling and Its Application to Wireless Communication Systems by Lai-Huei Wang Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2013-08-28 22:45:26 Software engineering Programming paradigms Computer data Dataflow Electronic engineering SIGNAL Stream processing Computer architecture Models of computation Computing
170	Environment model Why does this code work? • Models of computation • Substitution model Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-04-05 22:20:30 Logic Mathematical notation Predicate logic Mathematics Computing Combinatory logic Lambda calculus Computer programming Free variables and bound variables

UPDATE